body {
    background-color: white;
    color: #000000;
    font-family: "Times New Roman", Times, serif;
}

.top-center,
.public-service,
.revision-date,
.nav-instructions {
    text-align: center;
}

.red-bold {
    color: red;
    font-weight: bold;
}

.green-bold {
    color: green;
    font-weight: bold;
}

.small-text {
    font-size: 0.75rem;
}

.button-table {
    margin: 0 auto;
    border-collapse: collapse;
}

.button-table td {
    padding: 4px;
}

.spacer {
    display: inline-block;
    width: 1px;
    height: 32px;
}

/* Link colors preserved from original XHTML */
a:link {
    color: #0000ff;
}

a:visited {
    color: #800080;
}

/* Navigation styles */
.navigation {
  padding: 20px;
   border-bottom: 1px solid #ddd;
    text-align: center;
}

.navigation .instruction {
    font-size: 1.1em;
    margin-bottom: 10px;
    color: #cc0000;
}

.navigation .buttons {
    display: flex;
    justify-content: center;
    gap: 15px;
}

.navigation .btn {
    display: inline-block;
    text-decoration: none;
    padding: 10px 15px;
    background-color: #007bff;
    color: white;
    border-radius: 5px;
    transition: background-color 0.3s;
}

.navigation .btn:hover {
    background-color: #0056b3;
}
/* Literal color classes (Option A) */
.red {
    color: red;
}

.blue {
    color: blue;
}

.green {
    color: green;
}

/* Size class for <font size="6"> */
.size-6 {
    font-size: 2.5rem;
}

/* Replacement for <center> */
.center {
    text-align: center;
}
/* Literal color classes */
.red {
    color: red;
}

.blue {
    color: blue;
}

.green {
    color: green;
}

.black {
    color: black;
}

/* Replacement for <center> */
.center {
    text-align: center;
}


.red { color: red; }
.blue { color: blue; }
.green { color: green; }
.black { color: black; }

.center {
    text-align: center;
}
.red { color: red; }
.green { color: green; }
.blue { color: blue; }
.black { color: black; }

/* Special color #cc0000 */
.cc0000 { color: #cc0000; }

/* Replacement for <center> */
.center { text-align: center; }

/* Font size from <font size="5"> */
.size-5 { font-size: 2rem; }
.size-7 { font-size: 3rem; }

.terminal { font-family: Terminal, monospace; }
.arial { font-family: Arial, sans-serif; }
.roman { font-family: "Times New Roman", Times, serif; }

.size4 { font-size: 1.2rem; }   /* matches <font size="4"> */
.size6 { font-size: 2rem; }     /* matches <font size="6"> */
.size8 { font-size: 3rem; }     /* matches <font size="8"> */